Euclid's proof